extended stable model

扩充的稳定模型